استدلال متنی: صوری سازی متن

استدلال همواره در یک زمینه یا متن صورت می گیرد، لذا در نظر گرفتن متنی که استدلال در آن واقع می شود در فرآیند استدلال ضرورت دارد. از سوی دیگر هر متن شامل متغیرهای فراوانی است که درنظر گرفتن تمامی آنها نه ممکن و نه ضروری است. این پایان نامه به معرفی روش هایی می پردازد که برای صوری سازی متغیرهای وابسته به متن برای کاربرد در استدلال پیشنهاد شده و به طور خاص روش پیشنهادی فاستو گیونچیگلیا با تفصیل معرفی می نماید.